Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
I'd like to introduce you to some of my friends.
我想介绍你认识一些我的朋友。
OK. You'll have to use a credit card or leave a $100 deposit.
好。你必须使用信用卡，否则要付100美元的押金。
Even if one didn't know from concrete examples (the 1936 Olympic Games, for instance) that international sporting contests lead to orgies of hatred, one could deduce if from general principles.
一个人即使不能从具体的事例（例如1936年的奥林匹克运动会）了解到国际运动比赛会导致疯狂的仇恨，也可以从常理中推断出结论。